If a ≡ b (mod m )